41. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
42. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author: D.H. Pitt ... )et al.( )eds.(
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computer science - Congresses,Categories )Mathematics( - Congresses
Classification :
QA
.
S86
75
.
5
1991
43. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
پدیدآورنده :
موضوع : ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
44. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
530
45. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
Author: Eugenio Moggi, Giuseppe Rosolini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
1290
46. Cellular Automata and Discrete Complex Systems
Author: \ [Edited by] Teijiro Isokawa...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
QA
267
.
5
.
C45
2015
E-Book
,
47. Cellular Automata and Discrete Complex Systems
Author: \ Jarkko Kari (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشین‌های خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
QA
267
.
5
.
C45
2015
E-Book
,
48. Cellular automata and discrete complex systems :
Author: Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
Classification :
QA267
.
5
.
C45
49. Cellular automata and discrete complex systems :
Author: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
Classification :
QA267
.
5
.
C45
50. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
51. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
52. Coalgebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
53. Coalgebraic methods in computer science
Author: Dirk Pattinson, Lutz Schröder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
W67
2012eb
54. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
55. Combinatorial Optimization and Applications
Author: \ [edited by] Zaixin Lu...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Combinatorial optimization -- Congresses.,Computer science -- Mathematics -- Congresses.,بهینه‌سازی ترکیبی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
Classification :
QA
164
.
C6
2015
E-Book
,
56. Combinatorial optimization and applications
Author: Guohui Lin (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA402
.
5
.
C63
2012eb
57. Combinatorial optimization and applications :
Author: Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
Classification :
QA402
.
5
.
C5423
2017
58. Combinatorics on Words
Author: \ Florin Manea, Dirk Nowotka (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Discrete Mathematics in Computer Science,Combinatorial analysis -- Congresses,ریاضیات گسسته در علوم کامپیوتر,آنالیز ترکیبی -- کنگره‌ها
Classification :
QA
164
.
W6C6
2015
E-Book
,
59. Complexity of computation
Author: edited by Richard M. Karp
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
Classification :
QA
267
.
C57
60. Computational and Group-Theoretical Methods in Nuclear Physics : proceedings of the Symposium in honor of Jerry P. Draayer's 60th birthday : 18-21 February 2003, Playa del Carmen, Mexico
Author: / Draayer Jutta
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Nuclear physics--Mathematics--Congresses.,Scattering (Physics),Object-oriented programming (Computer science)
Classification :
QC770
